Se trata de una breve presentación al libro del Investigador Titular del Instituto de Filosofía de La Habana Gilberto Valdés Gutiérrez El paradigma emancipatorio en América Latina: opciones en controversia, publicado por la Benemérita Universidad Autónoma de Puebla.

As COVID-19 emerged as a phenomenon of the total environment, and despite the intertwined and complex relationships that make humanity an organic part of the Bio- and Geospheres, the majority of our responses to it have been corrective in character, with few or no consideration for unintended consequences which bring about further vulnerability to unanticipated global events. Tackling COVID-19 entails a systemic and precautionary approach to human-nature relations, which we frame as regaining diversity in the Geo-, Bio-, and Anthropospheres. Its (...) implementation requires nothing short of an overhaul in the way we interact with and build knowledge from natural and social environments. Hence, we discuss the urgency of shifting from current to precautionary approaches to COVID-19 and look, through the lens of diversity, at the anticipated benefits in four systems crucially affecting and affected by the pandemic: health, land, knowledge and innovation. Our reflections offer a glimpse of the sort of changes needed, from pursuing planetary health and creating more harmonious forms of land use to providing a multi-level platform for other ways of knowing/understanding and turning innovation into a source of global public goods. These exemplary initiatives introduce and solidify systemic thinking in policymaking and move priorities from reaction-based strategies to precautionary frameworks. (shrink)

Humans and AI systems are usually portrayed as separate sys- tems that we need to align in values and goals. However, there is a great deal of AI technology found in non-autonomous systems that are used as cognitive tools by humans. Under the extended mind thesis, the functional contributions of these tools become as essential to our cognition as our brains. But AI can take cognitive extension towards totally new capabil- ities, posing new philosophical, ethical and technical chal- lenges. To (...) analyse these challenges better, we define and place AI extenders in a continuum between fully-externalized systems, loosely coupled with humans, and fully-internalized processes, with operations ultimately performed by the brain, making the tool redundant. We dissect the landscape of cog- nitive capabilities that can foreseeably be extended by AI and examine their ethical implications. We suggest that cognitive extenders using AI be treated as distinct from other cognitive enhancers by all relevant stakeholders, including developers, policy makers, and human users. (shrink)

There is a curious phenomenon where people from marginalized populations are taken to be arrogant when they show no signs of superiority. In effect, their actions are misconstrued, and their attitudes are rendered unintelligible. Given that arrogance is standardly taken to be a flaw in one’s moral character, understanding such misattributions should give us insight into the affective marginalization many people face. This talk aims to give a thorough exploration of arrogance under oppression. I argue that arrogance is a kind (...) of self-preoccupation that involves projecting one’s values, goals, and concerns onto others as if they were objective values, goals, and concerns. When the affectively marginalized communicate their self-respect through things like protest, people mistake that self-respect as self-preoccupation given how the affectively marginalized are constructed. Furthermore, given how affective marginalization not only inhibits how the marginalized are understood by others, but inhibits their own affective lives, I argue that taking up an arrogant attitude is not always morally vicious, but can be a beautiful form of political resistance but all things considered good. (shrink)

Philosophers of race and other writers in the Black and Latinx intellectual traditions have remarked on what it is like to live under “the racial gaze,” to be shaped and limited by the way whites perceive us. However, little work has been spent developing how the racial gaze functions in whites’, and other racially privileged people’s, moral psychology. I argue in this paper that there is a morally objectionable way of perceiving people of color. This claim builds on an insight (...) from Iris Murdoch that our perception can be morally evaluable and extends it to issues of race. I articulate how racial stereotypes and misvaluing distort one’s perception of people of color and that these distortions are organizing around a dominant conception for race that plays an important role in the oppression of people of color. I believe understanding racist perception lays a foundation for understanding the moral dimensions of interpersonal (as opposed to structural) racism. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

Reasons-first theorists claim that facts about reasons for attitudes are normatively primitive, and that all other normative facts ultimately reduce to facts about reasons. According to their view, for example, the fact that something is good ultimately reduces to facts about reasons to favour it. I argue that these theories face a challenging dilemma due to the normativity of arational lifeforms, for instance the fact that water is good for plants. If all normative facts are, ultimately, facts about reasons for (...) attitudes, then reasons-first theorists must either (a) show that these facts do reduce to facts about reasons, or (b) concede that they do not and, instead, show that this is not a problem for their view. Both options, however, are riddled with difficulties—or so I will try to argue. (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

El artículo tiene como objetivo describir las competencias informacionales a desarrollar durante la formación profesional. Se presenta los referentes teóricos a partir del empleo de un enfoque de sistema que supone el análisis y la síntesis, la inducción y la deducción como métodos de investigación, con el propósito de dar conocer los hitos en las universidades y organizaciones internacionales relacionadas. La modelación fue empleada para la construcción de un nuevo proyecto de desarrollo de competencias informacionales desde la perspectiva de la (...) formación profesional universitaria ajustada a las necesidades de la educación superior en Cuba. El nuevo proyecto se configura en tres unidades básicas (acceso, procesamiento y comunicación), con sus respectivos elementos de competencia, saberes esenciales e indicadores para la evaluación del desempeño. El artículo fundamenta la tesis de que el desarrollo de competencias informacionales debe ser sistemáticamente estructurado, planificado y ejecutado como parte integral de la formación curricular en interacción con los contenidos de las disciplinas docentes, bajo la dirección del profesor y la participación protagónica de los profesionales en formación. -/- ABSTRACT -/- The article aims at describing the competence to be developed during professional training. It presents the theoretical referents by means of an approach system that includes synthesis and analysis, induction and deduction as research methods in order to reveal the milestones of information skills development in universities and related international organizations. Modeling was used for the construction of a new skills development project from the perspective of university professional training according to the needs of Higher Education in Cuba. The new project is composed of three basic units (access, processing and communication), with their respective competence elements, essential knowledge and indicators for the evaluation of the performance. The article supports the theory that information development skills must be systematically structured, planned and implemented as an integral part of the curricular training in interaction with the contents of subjects, under the teacher´s guidance and the active participation of profesionals in training. -/- . (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...) refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

In this paper I provide a preliminary account of weakness of political will (political akrasia). My aim is to use theories from the weakness of will literature as a guide to develop a model of the same phenomenon as it occurs in collective agents. Though the account will parallel the traditional view of weakness of will in individuals, weakness of political will is a distinctly political concept that will apply to group agents such as governments, institutional actors, and other political (...) collectives. I further argue that blaming inaction by collective political agents on a “lack of political will” should be understood as blaming a kind of akratic break within the deliberative process, leading to an inability of the collective agent to capitalize on existing group attitudes in order to translate them into policy or legislation. My primary example throughout will be U.S. political inaction with respect to the climate crisis. (shrink)

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

In this paper I will present three arguments (based on the notions of constitution, metaphysical reality, and truth, respectively) with the aim of shedding some new light on the structure of Fine’s (2005, 2006) ‘McTaggartian’ arguments against the reality of tense. Along the way, I will also (i) draw a novel map of the main realist positions about tense, (ii) unearth a previously unnoticed but potentially interesting form of external relativism (which I will label ‘hyper-presentism’) and (iii) sketch a novel (...) interpretation of Fine’s fragmentalism (which I contrast with Lipman’s 2015, 2016b, forthcoming). (shrink)

With increased visibility of trans people comes increased philosophical interest in gendered language. This chapter aims to look at the research on gendered language in analytic philosophy of language so far, which has focused on two concerns: (1) determining how to define gender terms like ‘man’ and ‘woman’ such that they are trans inclusive and (2) if, or to what extent, we should use gendered language at all. We argue that the literature has focused too heavily on how gendered language (...) can harm trans people, and has not considered how trans people use gendered language to create meaning and joy for ourselves. Pulling from the literature in sociolinguistics, we look at examples of how trans people use language to make their lives better by gaining recognition, playing with gendered language, finding joy in gendered language, and taking control of definitional power, concluding that debates about gendered language need to consider not only how such language harms trans people but also how trans people use it for our own liberation. (shrink)

Grounding contingentism is the doctrine according to which grounds are not guaranteed to necessitate what they ground. In this paper I will argue that the most plausible version of contingentism is incompatible with the idea that the grounding relation is transitive, unless either ‘priority monism’ or ‘contrastivism’ are assumed.

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (shrink)

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

Les approches de la tradition philosophique de la morale reposent principalement sur des concepts et des théories métaphysiques et théologiques. Parmi les concepts éthiques traditionnels, le plus important est la théorie du commandement divin (DCT). Selon la DCT, Dieu donne des fondements moraux à l'humanité par sa création et par la Révélation. Morale et Divinité sont inséparables depuis la civilisation la plus lointaine. Ces concepts plongent dans un cadre théologique et sont principalement acceptés par la plupart des adeptes des trois (...) traditions abrahamiques : le judaïsme, le christianisme et l'islam : la partie la plus considérable de la population humaine. Tenant la foi et la Révélation pour ses fondements, les Théories du Commandement Divin ne sont pas strictement sujettes à la démonstration. Les opposants à la conception de la morale du Commandement divin, fondée sur l'impossibilité de démontrer ses présupposés métaphysiques et religieux, ont tenté pendant de nombreux siècles (mais sans succès) d'en dévaloriser l'importance. Ils ont soutenu l'argument selon lequel il ne montre pas de preuves matérielles et de cohérence logique et, pour cette raison, ne peut pas être considéré à des fins scientifiques ou philosophiques. Ce n'est qu'une croyance et, en tant que tel, doit être compris. Outre ces oppositions extrêmes, de nombreux autres concepts contreviennent aux théories du Commandement Divin, d'une manière ou d'une autre, en partie ou en totalité. (shrink)

Fine (2005, 2006) has presented a ‘trilemma’ concerning the tense-realist idea that reality is constituted by tensed facts. According to Fine, there are only three ways out of the trilemma, consisting in what he takes to be the three main families of tense-realism: ‘presentism’, ‘(external) relativism’, and ‘fragmentalism’. Importantly, although Fine characterises tense-realism as the thesis that reality is constituted (at least in part) by tensed facts, he explicitly claims that tense realists are not committed to their fundamental existence. Recently, (...) Correia and Rosenkranz (2011, 2012) have claimed that Fine’s tripartite map of tense realism is incomplete as it misses a fourth position they call ‘dynamic absolutism’. In this paper, I will argue that dynamic absolutists are committed to the irreducible existence of tensed facts and that, for this reason, they face a similar trilemma concerning the notion of fact-content. I will thus conclude that a generalised version of Fine’s trilemma, concerning both fact-constitution and fact-content, is indeed inescapable. (shrink)

ABSTRACTThe ability of providing an adequate supervenience base for tensed truths may seem to be one of the main theoretical advantages of both the growing-block and the moving-spotlight theory of time over presentism. However, in this paper I will argue that some propositions appear to be as problematic for growing-block theorists as past-directed propositions are for presentists, namely propositions stating that nothing will be the case in the future. Furthermore, I will show that the moving-spotlight theory can adequately address all (...) the main supervenience challenges that can be levelled against A-theories of time. I will, thus, conclude that, at least as far as the supervenience principle is concerned, the moving-spotlight theory should be preferred over both presentism and the growing-block theory. (shrink)

The possibility of changing the past by means of time-travel appears to depend on the possibility of distinguishing the past as it is ‘before’ and ‘after’ the time-travel. So far, all the metaphysical models that have been proposed to account for the possibility of past-changing time-travels operate this distinction by conceiving of time as multi-dimensional, and thus by significantly inflating our metaphysics of time. The aim of this article is to argue that there is an intuitive sense in which past-changing (...) time-travels are metaphysically possible also in one-dimensional time. (shrink)

The book is divided into three parts. The first, containing three papers, focuses on the characterization of the central tenets of previii sentism (by Neil McKinnon) and eternalism (by Samuel Baron and Kristie Miller), and on the ‘sceptical stance’ (by Ulrich Meyer), a view to the effect that there is no substantial difference between presentism and eternalism. The second and main section of the book contains three pairs of papers that bring the main problems with presentism to the fore and (...) outlines its defence strategy. Each pair of papers in this section can be read as a discussion between presentists and eternalists, wherein each directly responds to the arguments and objections offered by the other. This is a discussion that is sometimes absent in the literature, or which is at best carried out in a fragmented way. The first two papers of the section deal with the problem of the compatibility of Special Relativity Theory (SRT) and presentism. SRT is often considered to be a theory that contradicts the main tenet of presentism, thereby rendering presentism at odds with one of our most solid scientific theories. Christian Wüthrich’s paper presents arguments for the incompatibility of the two theories (SRT and presentism) within a new framework that includes a discussion of further complications arising from the theory of Qauantum Mechanics. Jonathan Lowe’s paper, by contrast, develops new general arguments against the incompatibility thesis and replies to Wüthrich’s paper. The second pair of papers focuses on the problem that presentists face, in providing grounds for past tensed truths. In the first (by Matthew Davidson), new arguments are provided to defend the idea that the presentist cannot adequately explain how what is now true about the past is grounded, since for the presentist the past is completely devoid of ontological ground. The second paper (by Brian Kierland) takes up the challenge of developing a presentist explanation of past truths, beginning by outlining some existing views in the literature before advancing an original proposal. (shrink)

This essay aims to expose the metaphysical underpinnings of enactivism. While enactivism relies heavily on rejecting the traditional mind-body problem by excluding the familiar thought experiments that favor phenomenal dualism, the crucial point that is overlooked is instead the brain-body problem, specifically the crucial interaction between the brain and the bodily limbs in their embodied activities of perception and cognition. If enactivism is correct, differences in sensory experience necessarily entail differences in embodied activity—this is the metaphysical core of enactivism, which (...) we think is entirely wrong. We will argue that a physical or biological body ("Körper") is configured or shaped into a perceptually living body ("Leib") by brain patterns and not by embodied activity or by the so-called sensorimotor contingencies. Undoubtedly, embodied actions influence sensory perception. However, since variations in embodied actions do not necessarily lead to variations in sensory experience, they are not metaphysically constitutive of these experiences (supervenience claim). (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the problems affecting (...) the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

Most of the theories of location on the market appear to be ideologically parsimonious at least in the sense that they take as primitive just one locative notion and define all the other locative notions in terms of it. Recently, however, the possibility of some exotic metaphysical scenarios involving gunky mixtures and extended simple regions of space has been argued to pose a significant threat to parsimonious theories of locations. The aim of this paper is to show that a theory (...) taking as primitive a notion of plural pervasive location and allowing for irreducibly plural locative facts can account for all the putatively problematic scenarios for parsimonious theories of location. Furthermore, I will also argue that the notion of plural pervasive location is compatible with the possibility of multilocation. (shrink)

The aim of this study is to address the “Grounding Grounding Problem,” that is, the question as to what, if anything, grounds facts about grounding. I aim to show that, if a seemingly plausible principle of modal recombination between fundamental facts and the principle customarily called “Entailment” are assumed, it is possible to prove not only that grounding facts featuring fundamental, contingent grounds are derivative but also that either they are partially grounded in the grounds they feature or they are (...) “abysses”. (shrink)

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing (...) the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms. (shrink)

In this paper, I propose a new nonconceptual reading of the B-Deduction. As Hanna correctly remarks (Int J Philos Stud 19(3):399–415, 2011: 405), the word “cognition” (Erkenntnis/cognition) has, in both editions of the first Critique, a wide sense, meaning nonconceptual cognition, and a narrow meaning, in Kant’s own words “an objective perception” (A320/B377). To be sure, Kant assumes the first meaning to account for why the Deduction is unavoidable. If we take this meaning as a premise of the B-Deduction, then (...) there is a gap in the argument since the categories are certainly not conditions for non-conceptual cognition (Kantian nonconceptualism). Still, I believe it is not this wide meaning but rather the narrow one that figures in any premise of the B-Deduction. Thus, in the reading that I am proposing, categories are not conditions for representing something (I call this the intentionality thesis), or even conditions for representing something objectively (I call this the objectivity thesis). Instead, they are conditions for the recognition that what we represent through the senses exists mind-independently. In the first step of the B-Deduction, this cognition in the narrow sense takes the form of propositional thinking (transcendental apperception) that the nonconceptually represented object of the sensible intuition exists objectively. In contrast, in the second step of the B-Deduction, this cognition in the narrow sense takes the form of the apprehension (figurative synthesis) of what our human senses represent nonconceptually as existing objectively. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

No presente trabalho, vamos abordar algumas das questões essenciais sobre o imaginário coletivo e suas relações com a realidade e a verdade. Devemos encarar esse assunto em uma estrutura conceptual, seguida pela análise factual correspondente às realidades comportamentais demonstráveis. Adotaremos não apenas a metodologia, mas principalmente os princípios e proposições da filosofia analítica, que com certeza serão evidentes ao longo do estudo e podem ser identificados pelos recursos descritos por Perez[1] : Rabossi (1975) defende a ideia de que a filosofia (...) analítica pode ser identificada considerando-se certas semelhanças familiares. Ele sugere os seguintes traços familiares: uma atitude positiva em relação ao conhecimento científico; uma atitude cautelosa em relação à metafísica; uma concepção da filosofia como uma tarefa conceptual, que toma a análise conteudo como um método; uma estreita relação entre linguagem e filosofia; uma preocupação em buscar respostas argumentativas para problemas filosóficos, e procura de clareza conceptual. Esses conceitos centrais envolvem conteúdos culturais, sociais, religiosos, científicos, filosóficos, morais e políticos, pertencentes à existência individual e coletiva de cada um de nós. Neste artigo, não discutiremos nem demonstraremos. Nosso objetivo não é o de sistematicamente criticar ou evidenciar qualquer coisa, de qualquer maneira. O presente trabalho se baseia na reflexão analítica. Apenas especularemos da maneira mais abrangente e profunda que pudermos e expressaremos os resultados de nossos pensamentos. Não obstante a natureza multidisciplinar do assunto e a abertura metodológica para aceitar contribuições de qualquer campo da ciência, este trabalho pertence ao objetivo da psicologia e ontologia ou, em outros termos, da psicologia social e ontológica. A metodologia livre que norteia tais reflexões abrange e leva em consideração tudo o que se aproxima da coerência com a epistemologia filosófica e psicológica. Essa metodologia não busca alcançar evidências, mas apenas procura a inter-relação entre evidências já existentes, de qualquer natureza e magnitude, inferindo um significado coerente para as coisas reais. Muitos dos grandes pensadores, a qualquer momento, nunca procuraram demonstrações, teorizações ou sistematizações. Esses pensadores apenas pensavam, meditavam e com a iluminação de sua humildade podiam se aproximar da verdade. Eles serão nossa referência e o exemplo a ser seguido. Com certeza, não encontraremos a verdade, mas podemos ter certeza de alguma coisa: em muitos momentos, chegaremos perto da verdade e, em todos os momentos, estaremos nos afastando da inverdade e da mentira. O escopo principal deste estudo é observar como alguns dos atributos evolutivos essenciais da humanidade, como criatividade, imaginação e associação, podem se tornar uma doença perigosa, abrigada nas sombras enevoadas da inteligência. (shrink)

In its simplest form, a Spritz is an aperitif made with (sparkling) water and (white) wine. A ‘gunky Spritz’, as I will call it, is a Spritz in which the water and the wine are mixed through and through, so that every proper part of the Spritz has a proper part containing both water and wine. In the literature on the notion of location the possibility of mixtures like a gunky Spritz has been thought of as either threatening seemingly intuitive (...) locative principles, or as requiring the position of multiple primitive locative relations. In this paper I present a new theory of location which assumes as primitive only the notion of pervasive location and show that it can account for the possibility of gunky Spritz in an intuitive and adequate way. (shrink)

This chapter analyzes the concept of an event and of event representation as an umbrella notion. It provides an overview of different ways events have been dealt with in philosophy, linguistics, and cognitive science. This variety of positions has been construed in part as the result of different descriptive and explanatory projects. It is argued that various types of notions — common-sense, theoretically revised, scientific, and internalist psychological — be kept apart.

Since the second half of the XXth century, researchers in cybernetics and AI, neural nets and connectionism, Artificial Life and new robotics have endeavoured to build different machines that could simulate functions of living organisms, such as adaptation and development, problem solving and learning. In this book these research programs are discussed, particularly as regard the epistemological issues of the behaviour modelling. One of the main novelty of this book consists of the fact that certain projects involving the building of (...) simulative machine models before the advent of cybernetics are been investigated for the first time, on the basis of little known, and sometimes completely forgotten or unpublished, texts and figures. These pre-cybernetics projects can be considered as steps toward the “discovery” of a modelling methodology that has been fully developed by those more recent research programs, and that shares some of their central goals and key methodological proposals. -/- More info in Springer link: http://www.springer.com/new+%26+forthcoming+titles+%28default%29/book/978-1-4020-0606-7 -/- This book is the English translation of La scoperta dell'artificiale, Dunod/Masson, Milan, 1998. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

I argue that my non-dual epistemic-phenomenalist view is the one that best harmonises my interpretation of the Fourth Paralogism with the widely shared reading of the Refutation of Idealism that I sketched and defended above. The bottom line of my view is a clear distinction between the metaphysical and epistemological sides of Kantian idealism. Again, according to my non-dual-epistemic-phenomenalism, the mundus sensibilis and mundus intelligibilis are epistemologically distinct ways of considering the metaphysically identical outside world. Appearances are nothing but the (...) way the things in themselves appear or exist inside our sensible minds as mere representations. In this sense, I reject both the two-world view, the two-aspect view, and Allais’s deflationary anti- phenomenalist reading. (shrink)

This paper is a new defense of type-B materialism against Jackson’s knowledge argument (1982) inspired by the Kantian main opposition between concepts and sensible intuitions. Like all materialists of type B, I argue that on her release from her black-and-white room, Mary makes cognitive progress. However, contrary to the so-called phenomenal concept strategy (henceforth PCS), I do not think that such progress can be accounted for in terms of the acquisition of new concepts. I also reject Tye’s recent account of (...) Mary’s cognitive progress as the acquisition of a “thing-knowledge.” What is crucial is not the Russellian opposition between knowing things and knowing truths but rather the Kantian opposition between conceptual and nonconceptual representations of the same thing (property). Mary’s phenomenal knowledge is here accounted for as the result of the cooperation of her newly acquired nonconceptual representation of the same phenomenal redness (the same thing) she had a conceptual representation before. As that new nonconceptual representation carries information about the same physical property she already represented but is now coded in analog rather than in digital form (Dretske, 1981), that nonconceptual representation can be accounted for in physical terms as Chalmers’s Master argument requires. Nevertheless, that representation can account for Mary’s cognitive progress since it carries information coded in analog form, something that the imprisoned she could never possess. (shrink)

In the 20th century, Leibniz studies flourished in Italy, as attested by the large number of scholarly articles and translations of his main works. Articles on Leibniz’s philosophy were published in the Archivio di Filosofia, which has long been the journal of the Italian Philosophical Society. This paper examines articles on Leibniz published in Italy, and notably in the Archivio di Filosofia. It is divided into three parts. The first one examines Italian research on Leibniz from 1900 to 1930. The (...) second one takes into account articles on Leibniz published in Archivio di Filosofia from 1930 to 1945. The last part is dedicated to Leibnizian studies published in the same journal after 1945. (shrink)

This paper has two aims. First, it aims to provide an adverbial account of the idea of intransitive self-consciousness and second, it aims to argue in favor of this account. These aims both require a new framework that emerges from a critical review of Perry’s famous notion of the “unarticulated constituents” of propositional content (1986). First, I aim to show that the idea of intransitive self-consciousness can be phenomenologically described in an analogy with the adverbial theory of perception. In an (...) adverbial theory of perception, we do not see a blue sense-data, but we see something blue-ly, whereas in intransitive self-consciousness, we are not conscious of ourselves when we undergo a conscious experience—instead, we experience something self-consciously. But what does this mean precisely? First, I take intransitive self-consciousness to be the first-person operator that prefixes the content of any experience that the subject undergoes, regardless of whether or not the subject is self-referred. Further, I argue that this first-person adverbial way of entertaining the content of any experience in Perry’s revised framework fixes the subject as part of the circumstance of the evaluation of the content of her own experience. We can only evaluate whether the content is veridical or falsidical relative to the subject undergoing the experience. This is referred to here as “self-concernment without self-reference.” When I am absorbed in reading a book, I do not self-represent my own experience of reading a book, let alone see myself as a constituent of the content of this experience. Even so, I experience that reading self-consciously in the precise sense that I do belong to the circumstance of the evaluation of the selfless content of my experience of reading the book. The content of the experience of reading a book is simply a propositional function, true or false of myself. (shrink)

This paper has two aims. First, it aims to provide an adverbial account of the idea of intransitive self-consciousness and second, it aims to argue in favor of this account. These aims both require a new framework that emerges from a critical review of Perry’s famous notion of the “unarticulated constituents” of propositional content (1986). First, I aim to show that the idea of intransitive self-consciousness can be phenomenologically described in an analogy with the adverbial theory of perception. In an (...) adverbial theory of perception, we do not see a blue sense-data, but we see something blue-ly, whereas in intransitive self-consciousness, we are not conscious of ourselves when we undergo a conscious experience—instead, we experience something self-consciously. But what does this mean precisely? First, I take intransitive self-consciousness to be the first-person operator that prefixes the content of any experience that the subject undergoes, regardless of whether or not the subject is self-referred. Further, I argue that this first-person adverbial way of entertaining the content of any experience in Perry’s revised framework fixes the subject as part of the circumstance of the evaluation of the content of her own experience. We can only evaluate whether the content is veridical or falsidical relative to the subject undergoing the experience. This is referred to here as “self-concernment without self-reference.” When I am absorbed in reading a book, I do not self-represent my own experience of reading a book, let alone see myself as a constituent of the content of this experience. Even so, I experience that reading self-consciously in the precise sense that I do belong to the circumstance of the evaluation of the selfless content of my experience of reading the book. The content of the experience of reading a book is simply a propositional function, true or false of myself. (shrink)